Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
101	ACM Communications in Computer Algebra, TBA TBA LU Factoring of Non-Invertible Matrices D. J. Jeﬀrey Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2010-05-11 07:00:14 Algebra Linear algebra Mathematics Matrices Matrix theory Numerical linear algebra Sparse matrices Matrix Identity matrix Invertible matrix Triangular matrix Determinant
102	Mathematics for Computer Science Eric Lehman and Tom Leighton 2004 2 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-08-23 14:28:28 Mathematics Graph theory Discrete mathematics NP-complete problems Graph coloring Algebra Recurrence relation Theory of computation Number theory Algorithm Independent set Mathematical induction
103	The Algebra Curriculum and Personal Technology: Exploring the Links* Barry Kissane Murdoch University, Australia <> Abstract: Prior to the availability of personal technology in the form of graphics Add to Reading List Source URL: wwwstaff.murdoch.edu.au Language: English - Date: 2001-09-04 04:13:16 Mathematics Software Graphing calculators Office equipment Algebra Equations Elementary algebra Computer algebra system Calculator Software calculator Equation solving Scientific calculator
104	Classiﬁcation, Regression, and Feature Selection on Matrix Data Sepp Hochreiter and Klaus Obermayer Department of Electrical Engineering and Computer Science Technische Universit¨at BerlinBerlin, Germany Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2013-04-30 01:33:38 Algebra Mathematics Linear algebra Abstract algebra Matrices Statistical classification Machine learning Support vector machine Matrix Test set Kernel method Kernel
105	A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2008-07-02 09:38:12 Mathematics Logic Mathematical logic Boolean algebra Formal languages Model theory Binary decision diagram Model checking IP Boolean satisfiability problem Constructible universe Well-formed formula
106	cs281: Computer Organization Lab2 Prelab The purpose of this prelab is to introduce some of the fundamentals of Combinational Logic Design, preparing us for using the breadboards to build circuits designed in this Prela Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 Boolean algebra Algebra Mathematics Abstract algebra Boolean Canonical normal form Truth table Logical disjunction Combinational logic Logic gate Boolean algebras canonically defined Karnaugh map
107	Simple, Efficient, and Neural Algorithms for Sparse Coding Sanjeev Arora∗ Princeton University, Computer Science Department Add to Reading List Source URL: jmlr.org Language: English - Date: 2015-07-20 20:08:35 Mathematics Numerical analysis Algebra Linear algebra Convex optimization Operations research Computational statistics Mathematical optimization K-SVD Sparse approximation Deep learning Stochastic gradient descent
108	A Compact and Scalable RNS Architecture Pedro Miguens Matutino Ricardo Chaves and Leonel Sousa ISEL / INESC-ID / IST, Technical University of Lisbon Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2014-01-29 04:45:59 Mathematics Abstract algebra Algebra Modular arithmetic Computer arithmetic Residue number system Binary operations Addition 2N Chinese remainder theorem Factorial
109	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
110	HP Prime AP Calculus Summer Institute Materials by Mark Howell Version 1.1, Revised Add to Reading List Source URL: hp-prime.de Language: English - Date: 2015-08-27 03:58:21 Mathematics Functions and mappings Programmable calculators Mathematical analysis Graphing calculators Computer algebra systems Asymptote HP calculators Function key Limit of a function Calculus EVE